Primitive types

Results: 885



#Item
51Memory-safe Execution of C on a Java VM Matthias Grimmer Roland Schatz Chris Seaton

Memory-safe Execution of C on a Java VM Matthias Grimmer Roland Schatz Chris Seaton

Add to Reading List

Source URL: chrisseaton.com

Language: English - Date: 2016-02-28 16:25:13
52Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Add to Reading List

Source URL: software.imdea.org

Language: English - Date: 2015-01-16 15:25:14
53Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2015-07-02 10:00:20
54The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2

Add to Reading List

Source URL: mp.binaervarianz.de

Language: English - Date: 2015-05-04 01:53:59
5512. Finite-State Machines 12.1 Introduction This chapter introduces finite-state machines, a primitive, but useful computational model for both hardware and certain types of software. We also discuss regular expressions,

12. Finite-State Machines 12.1 Introduction This chapter introduces finite-state machines, a primitive, but useful computational model for both hardware and certain types of software. We also discuss regular expressions,

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2013-04-21 11:50:50
    56

    PDF Document

    Add to Reading List

    Source URL: homepages.ecs.vuw.ac.nz

    Language: English - Date: 2008-01-08 15:50:27
    57Note on the Frequency of Use of the Different Digits in Natural Numbers Simon Newcomb American Journal of Mathematics, Vol. 4, No), ppStable URL: http://links.jstor.org/sici?sici=%281881%294%3

    Note on the Frequency of Use of the Different Digits in Natural Numbers Simon Newcomb American Journal of Mathematics, Vol. 4, No), ppStable URL: http://links.jstor.org/sici?sici=%281881%294%3

    Add to Reading List

    Source URL: www.uvm.edu

    Language: English - Date: 2007-11-01 10:42:24
    58Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

    Recursive Session Types Revisited Ornela Dardha∗ School of Computing Science, University of Glasgow, UK Session types model structured communication-based programming. In particular, binary

    Add to Reading List

    Source URL: www.dcs.gla.ac.uk

    Language: English - Date: 2014-07-25 10:12:01
    59MODIS – MOD09CMG The MODIS Surface Reflectance products provide an estimate of the surface spectral reflectance as it would be measured at ground level in the absence of atmospheric scattering or absorption. Low-level

    MODIS – MOD09CMG The MODIS Surface Reflectance products provide an estimate of the surface spectral reflectance as it would be measured at ground level in the absence of atmospheric scattering or absorption. Low-level

    Add to Reading List

    Source URL: measures.arizona.edu

    Language: English - Date: 2011-03-06 16:52:04
    60A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed.

    A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed.

    Add to Reading List

    Source URL: www.webber-labs.com

    Language: English - Date: 2010-08-18 22:43:58